package ewu

import ewu._
import scala.collection.mutable.ArrayBuffer

/**
 * Diese Klasse stellt den boolschen Wert True dar.
 */

case class True extends BoolExpression {
  
  def evaluate (env: Environment): Option[Boolean] = Some(true)
  
  override def toString: String = "TRUE"

  def reduce: BoolExpression = this

  def isTrue: Boolean = true
  
  def getVariables(a: ArrayBuffer[Name]) = {}
  
}


 